Total Books: 1 - 1 /1
The Seventeen Provers of the World
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Continue reading
Total Books: 1 - 1 /1
